Modeling Hybrid Domains Using Process Description Language
نویسندگان
چکیده
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain values that are in constant change. In this paper we introduce an action language for modeling such hybrid domains called the process description language. We discuss the syntax and semantics of the language, model an example using this language, and give a provenly correct translation into answer set programming.
منابع مشابه
Physical Modeling of a Hybrid Wind Turbine-solar Panel System Using Simscape Language (RESEARCH NOTE)
Being sustainable and producing little waste products, the renewable energy knows a rapid deployment. Unfortunately, the intermittent characteristic of these energies makes them difficult to control. The influence of this aleatory character can be reduced with the coupling of two or more sources of renewable energy and secondly with a sound management of storage systems. This new configuration ...
متن کاملModeling of Hydraulic Systems for Hardware-in-the-loop Simulation: a Methodology Proposal
The present paper proposes a methodology to organize model libraries of electro-hydraulic components. This methodology holds in the association of an object oriented modeling, equation based, language for model structure description, with a graphical formalism suitable for the dynamic behavior description of reactive hybrid systems. That is, a recent general purpose language for physical modeli...
متن کاملHybrid Modeling and Optimal Control of an Asphalt Base Process
This paper addresses the issue of an optimal selection of the production and delivery plan for an asphalt base process. The process is modeled as a DHA (Discrete Hybrid Automaton) using the high level modeling language HYSDEL (HYbrid System DEscription Language) that allows converting the DHA model into an MLD (Mixed Logical Dynamical) model. The proposed solution applies to a class of optimal ...
متن کاملThree-Phase Modeling of Dynamic Kill in Gas-Condensate Well Using Advection Upstream Splitting Method Hybrid Scheme
Understanding and modeling of three-phase transient flow in gas-condensate wells play a vital role in designing and optimizing dynamic kill procedure of each well that needs to capture the discontinuities in density, geometry, and velocity of phases but also the effect of temperature on such parameters. In this study, two-phase Advection-Upstream-Splitting-Method (AUSMV) hybrid scheme is extend...
متن کاملDiscrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark
For hybrid systems described by interconnections of linear discrete-time dynamical systems, automata, and propositional logic rules, we recently proposed the Mixed Logical Dynamical (MLD) systems formalism and the language HYSDEL (Hybrid System Description Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach set computation an...
متن کامل